Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
891	Abstract Predicates and Mutable ADTs in Hoare Type Theory Aleksandar Nanevski1 , Amal Ahmed2 , Greg Morrisett1 , and Lars Birkedal3 1 2 Add to Reading List Source URL: ynot.cs.harvard.edu Language: English - Date: 2011-07-10 14:38:57 Type theory Formal methods Models of computation Functional languages Program logic Hoare logic Lambda calculus Type system Function Programming language theory Mathematics Software engineering
892	Semantic Intellectual System Development Igor Boyko, Victor Martynov1 Publishing Systems and Solutions Laboratory HP Laboratories Palo Alto HPL[removed]September 10th , 2001* Add to Reading List Source URL: www.hpl.hp.com Language: English - Date: 2001-10-05 19:23:35 Model theory Formal languages First-order logic TRIZ Well-formed formula Mereology Interpretation Differential equation Logic Mathematical logic Predicate logic
893	ModelingGrowth-MathInEd.ma 1 Modeling Growth with Add to Reading List Source URL: pages.cpsc.ucalgary.ca Language: English - Date: 2001-04-08 19:52:44 Mathematical logic Fractals L-system Constructible universe Logic Rewriting Formal languages Theoretical computer science Mathematics
894	Genetic L-System Programming: Breeding and Evolving Artificial Flowers with Mathematica C. Jacob, [removed], Chair of Programming Languages, Department of Computer Science, University of Erlangen-N Add to Reading List Source URL: pages.cpsc.ucalgary.ca Language: English - Date: 2001-04-08 19:53:16 Formal languages Combinatorics on words Array programming languages Computer algebra systems Functional languages Mathematica Pattern matching Type theory Genetic programming Mathematics Mathematical software Software
895	Genetic L-System Programming Christian Jacob Chair of Programming Languages, Department of Computer Science, University of Erlangen-Nürnberg, Martens-Str. 3, D[removed]Erlangen, Germany email: [removed]-erlange Add to Reading List Source URL: pages.cpsc.ucalgary.ca Language: English - Date: 2006-08-14 15:49:03 Formal languages Mathematical optimization Cybernetics Automata theory Fractals L-system Genetic programming Axiom Genetic algorithm Computing Software engineering Computer programming
896	Grammar Work Lab Manual for the AGFL system version 2.8 Mar h 2009 Add to Reading List Source URL: www.agfl.cs.ru.nl Language: English - Date: 2010-03-01 07:46:19 Software engineering Linguistics Formal grammar Context-free grammar Terminal and nonterminal symbols Attribute grammar Parsing Parse tree Syntax Formal languages Compiler construction Programming language implementation
897	Partner Since[removed]Thanks for an awesome weekend of information-sharing! We certainly appreciate the opportunity to learn in a formal setting as opposed to the “Radiologically-Cultural” approach to learning... on th Add to Reading List Source URL: www.aheconline.com Language: English - Date: 2014-03-10 17:19:23 Medical imaging Picture archiving and communication system Mammography Medicine Health American Society of Radiologic Technologists
898	Formal Construction of the Mathematically Analyzed Separation Kernel W. Martin P. White E S. Taylor Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:20 Separation kernel Thread Linux kernel Operating system Cell Mach Ring Computer architecture Computing Kernel
899	JOINT FINAL REPORT (GR/R32666 and GR/R32895/02) Computational Heterogeneously Timed Networks (COHERENT) http://async.org.uk/coherent/ A.V. Yakovlev, A.M. Koelmans, F. Xia, E.G. Chester, D.J. Kinniment (School of Electric Add to Reading List Source URL: async.org.uk Language: English - Date: 2005-02-10 12:11:38 Electronics Formal methods Electrical circuits Electronic design automation Asynchronous system Network On Chip Distributed computing Asynchrony SIGNAL Electronic engineering Synchronization Communication
900	Using Shape Grammar to Derive Cellular Automata Rule Patterns Thomas H. Speller, Jr.a, Daniel Whitneya Edward Crawleyb a Add to Reading List Source URL: www.wolframscience.com Language: English - Date: 2007-06-08 10:10:58 Mathematics Linguistics Cellular automaton Shape grammar Grammar L-system Formal grammar Syntax Genetic algorithm Formal languages Science Cybernetics

UPDATE